$\vdash$  $\downarrow$WellFnd\{1\}(Void;$u$,$v$.($\lambda$$i$,$j$. True)($u$,$v$))